refinement n. 1.精煉,提煉,提純,純化,精制;凈化;純凈,精美。 2.高尚,優(yōu)雅;改善。 3.(思想、推理、議論等的)精密,微妙;細(xì)微的區(qū)別;極致。 a person of refinement 高尚的人。 a refinement of cruelty 陰險(xiǎn)刻毒之極的殘忍。
The specifications are realised through the use of a combination of function decomposition strategies , data refinement techniques , and off - the - shelf refinements based upon higher - order functions 通常通過(guò)組合幾個(gè)高階函數(shù)來(lái)實(shí)現(xiàn),這些函數(shù)作為編寫(xiě)高水平程序的基本組成模塊。并行化執(zhí)行大量算法的系統(tǒng)方法。